definite clauses - определение. Что такое definite clauses
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое definite clauses - определение

PROPERTY OF A MATHEMATICAL MATRIX
Positive-definite Matrix; Positive-semidefinite matrix; Negative-semidefinite matrix; Negative-definite matrix; Indefinite matrix; Non-negative definite matrix; Non-negative-definite matrix; Positive definite matrix; Negative definite matrix; Positive semidefinite matrix; Negative semidefinite matrix; Positive semi-definite matrix; Definite positive matrix; Symmetric positive definite; Spd matrix; Non-negative definite; Nonnegative-definite matrix; Nonnegative-definite; Positive-definite matrices; Nonnegative-definite matrices; Positive definite matrices; Nonnegative definite; Positive-definite matrix; Positive semidefinite matrices; Negative semi-definite matrix; Definiteness of a matrix; Definite symmetric matrix
Найдено результатов: 127
Definite clause grammar         
MEANS OF EXPRESSING GRAMMATICAL RELATIONSHIPS
Definite clause grammars; Context-sensitive definite clause grammars
A definite clause grammar (DCG) is a way of expressing grammar, either for natural or formal languages, in a logic programming language such as Prolog. It is closely related to the concept of attribute grammars / affix grammars from which Prolog was originally developed.
definite clause         
CLAUSE (A DISJUNCTION OF LITERALS) WITH AT MOST ONE POSITIVE, I.E. UNNEGATED, LITERAL
Horn logic; Definite clause; Horn sentence; Horn clauses; Dual-Horn clause; Horn formula; Universal Horn theory; Horn Logic
<logic> A Horn clause that has exactly one {positive literal}. (2000-01-24)
Definite description         
DENOTING PHRASE IN THE FORM OF "THE X" WHERE X IS A NOUN-PHRASE OR A SINGULAR COMMON NOUN. THE DEFINITE DESCRIPTION IS PROPER IF X APPLIES TO A UNIQUE INDIVIDUAL OR OBJECT
Present King of France; Definite descriptions; Definite descriptor; The present King of France is bald; Iota operator; Definite description theory
In formal semantics and philosophy of language, a definite description is a denoting phrase in the form of "the X" where X is a noun-phrase or a singular common noun. The definite description is proper if X applies to a unique individual or object.
Definite quadratic form         
QUADRATIC FORM THAT IS EITHER GREATER THEN 0 EXCEPT FOR 0 OR LESS THEN 0 EXCEPT FOR 0
Negative semidefinite; Definite bilinear form; Semidefinite; Semi-definite form; Positive definite form; Positive-definite form; Semidefinite bilinear form; Positive definite bilinear form; Positive-definite bilinear form; Positive definite quadratic form; Indefinite quadratic form; Positive-definite quadratic form; Indefinite form; Positive Definite Quadratic Form; Negative semi-definite; Semidefinite quadratic form; Negative-definite quadratic form; Negative definite quadratic form; Positive semidefinite quadratic form; Negative semidefinite quadratic form; Semi-definite quadratic form; Positive semi-definite quadratic form; Negative semi-definite quadratic form; Negative-definite bilinear form; Negative definite bilinear form; Negative-definite form; Negative definite form; Semidefinite form; Semi-definite bilinear form; Positive semidefinite bilinear form; Negative semidefinite bilinear form; Negative semi-definite bilinear form; Positive semi-definite bilinear form; Positive semidefinite form; Negative semidefinite form; Negative semi-definite form; Positive semi-definite form; Semi-definite
In mathematics, a definite quadratic form is a quadratic form over some real vector space that has the same sign (always positive or always negative) for every non-zero vector of . According to that sign, the quadratic form is called positive-definite or negative-definite.
Positive-definite kernel         
GENERALIZATION OF A POSITIVE-DEFINITE MATRIX
Kernel function; Positive definite kernel; Positive-definite kernel function
In operator theory, a branch of mathematics, a positive-definite kernel is a generalization of a positive-definite function or a positive-definite matrix. It was first introduced by James Mercer in the early 20th century, in the context of solving integral operator equations.
Non-finite clause         
TYPE OF CLAUSE IN GRAMMAR
Non-finite clauses; Verbal phrase; Nonfinite clause
In linguistics, a non-finite clause is a dependent or embedded clause that represents a state or event in the same way no matter whether it takes place before, during, or after text production. In this sense, a non-finite dependent clause represents one process as a circumstance for another without specifying the time when it takes place as in the following examples:
Definite matrix         
In mathematics, a symmetric matrix M with real entries is positive-definite if the real number z^\textsf{T}Mz is positive for every nonzero real column vector z, where z^\textsf{T} is the transpose of More generally, a Hermitian matrix (that is, a complex matrix equal to its conjugate transpose) is
Positive definiteness         
WIKIMEDIA DISAMBIGUATION PAGE
Positive-definite; Positive definite; Positive definiteness (disambiguation)
In mathematics, positive definiteness is a property of any object to which a bilinear form or a sesquilinear form may be naturally associated, which is positive-definite. See, in particular:
Boilerplate clause         
Boilerplate clauses
A boilerplate clause is a legal English term that is used in conjunction with contract law. When forming contracts, parties to the contract often use templates or forms with boilerplate clauses (boilerplate language, used as standard language).
Vesting Clauses         
Vesting clauses; Vesting clauses of the United States Constitution; Vesting clause; Vesting Clause
In United States constitutional law, the Vesting Clauses are three provisions in the United States Constitution which vest the United States' legislative power in the United States Congress, the executive power in the President, and judicial power in the Federal judiciary of the United States. The Constitution thus explicitly creates a separation of powers among the three branches of the federal government of the United States.

Википедия

Definite matrix

In mathematics, a symmetric matrix M {\displaystyle M} with real entries is positive-definite if the real number z T M z {\displaystyle z^{\textsf {T}}Mz} is positive for every nonzero real column vector z , {\displaystyle z,} where z T {\displaystyle z^{\textsf {T}}} is the transpose of z {\displaystyle z} . More generally, a Hermitian matrix (that is, a complex matrix equal to its conjugate transpose) is positive-definite if the real number z M z {\displaystyle z^{*}Mz} is positive for every nonzero complex column vector z , {\displaystyle z,} where z {\displaystyle z^{*}} denotes the conjugate transpose of z . {\displaystyle z.}

Positive semi-definite matrices are defined similarly, except that the scalars z T M z {\displaystyle z^{\textsf {T}}Mz} and z M z {\displaystyle z^{*}Mz} are required to be positive or zero (that is, nonnegative). Negative-definite and negative semi-definite matrices are defined analogously. A matrix that is not positive semi-definite and not negative semi-definite is sometimes called indefinite.

A matrix is thus positive-definite if and only if it is the matrix of a positive-definite quadratic form or Hermitian form. In other words, a matrix is positive-definite if and only if it defines an inner product.

Positive-definite and positive-semidefinite matrices can be characterized in many ways, which may explain the importance of the concept in various parts of mathematics. A matrix M is positive-definite if and only if it satisfies any of the following equivalent conditions.

  • M is congruent with a diagonal matrix with positive real entries.
  • M is symmetric or Hermitian, and all its eigenvalues are real and positive.
  • M is symmetric or Hermitian, and all its leading principal minors are positive.
  • There exists an invertible matrix B {\displaystyle B} with conjugate transpose B {\displaystyle B^{*}} such that M = B B . {\displaystyle M=B^{*}B.}

A matrix is positive semi-definite if it satisfies similar equivalent conditions where "positive" is replaced by "nonnegative", "invertible matrix" is replaced by "matrix", and the word "leading" is removed.

Positive-definite and positive-semidefinite real matrices are at the basis of convex optimization, since, given a function of several real variables that is twice differentiable, then if its Hessian matrix (matrix of its second partial derivatives) is positive-definite at a point p, then the function is convex near p, and, conversely, if the function is convex near p, then the Hessian matrix is positive-semidefinite at p.

Some authors use more general definitions of definiteness, including some non-symmetric real matrices, or non-Hermitian complex ones.